<![CDATA[Library of American University of Madaba Search for 'au:Bjørner, Nikolaj.']]>

<![CDATA[Library of American University of Madaba Search for 'au:Bjørner, Nikolaj.']]> http://library.aum.edu.jo/cgi-bin/koha/opac-search.pl?q=ccl=au:Bjørner, Nikolaj.&format=rss2 2 0 50 Logic for Programming, Artificial Intelligence, and Reasoning ISBN 9783642287176 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14060 By Bjørner, Nikolaj.. . XI, 446 p. 9783642287176

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=14060 Automated Deduction – CADE-23 ISBN 9783642224386 http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13681 By Bjørner, Nikolaj.. . XIII, 508 p. 9783642224386

Place Hold on Automated Deduction – CADE-23

]]> http://library.aum.edu.jo/cgi-bin/koha/opac-detail.pl?biblionumber=13681